A Sorted Semantic Framework for Applied Process Calculi
نویسندگان
چکیده
منابع مشابه
A Sorted Semantic Framework for Applied Process Calculi
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or co...
متن کاملA Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or co...
متن کاملNegative premises in applied process calculi
We explore two applications of negative premises to increase the expressive power of psi-calculi: reliable broadcasts and priorities. Together, these can be used to model discrete time, and we illustrate with an example from automotive applications. The negative premises can be encoded by a two-level structural operational semantics without negative premises; we use this fact to prove the stand...
متن کاملMulti Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transition Systems (MLTS) are introduced as generalizations of LTS that permit dealing also with systems features that are becoming more and more important when considering languages and models for network aware programming. ...
متن کاملPsi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic
Johansson, M. 2010. Psi-calculi: a framework for mobile process calculi. Cook your own correct process calculus just add data and logic. Acta Universitatis Upsaliensis. Uppsala Dissertations from the Faculty of Science and Technology 94. 184 pp. Uppsala. ISBN 978-91-554-7818-6. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2016
ISSN: 1860-5974
DOI: 10.2168/lmcs-12(1:8)2016